2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 216 237 216 0 1749 0 497 0

N.S.

1 1.05 1.16 1.05 0.00 8.53 0.00 2.42 0.00

time (sec)

N/A 0.432 11.320 2.111 0.000 0.570 0.000 0.335 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 268 454 480 808 915 1472 489 0

N.S.

1 0.81 1.37 1.45 2.43 2.76 4.43 1.47 0.00

time (sec)

N/A 0.474 3.648 2.035 0.215 0.481 0.641 0.304 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 229 341 328 549 643 986 349 0

N.S.

1 0.86 1.28 1.23 2.06 2.42 3.71 1.31 0.00

time (sec)

N/A 0.392 2.541 1.976 0.222 0.525 0.605 0.309 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 172 238 192 318 397 570 223 0

N.S.

1 0.98 1.36 1.10 1.82 2.27 3.26 1.27 0.00

time (sec)

N/A 0.303 1.721 1.894 0.214 0.761 0.563 0.306 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 134 129 106 141 213 459 105 119

N.S.

1 1.14 1.09 0.90 1.19 1.81 3.89 0.89 1.01

time (sec)

N/A 0.244 0.841 1.927 0.212 0.280 0.532 0.298 9.344

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 388 625 476 0 1549 0 0 0

N.S.

1 1.09 1.76 1.34 0.00 4.35 0.00 0.00 0.00

time (sec)

N/A 0.757 6.637 2.119 0.000 2.685 0.000 0.000 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 338 347 328 0 1875 0 0 0

N.S.

1 1.08 1.11 1.04 0.00 5.97 0.00 0.00 0.00

time (sec)

N/A 0.672 11.319 2.175 0.000 0.919 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 300 308 333 0 2033 0 743 0

N.S.

1 1.06 1.09 1.18 0.00 7.21 0.00 2.63 0.00

time (sec)

N/A 0.587 11.478 2.523 0.000 0.419 0.000 0.356 0.000

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 44 19 17 27 0 27 0

N.S.

1 1.00 1.69 0.73 0.65 1.04 0.00 1.04 0.00

time (sec)

N/A 0.168 0.093 2.597 0.278 0.249 0.000 0.288 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 52 55 38 58 65 0 47 0

N.S.

1 0.98 1.04 0.72 1.09 1.23 0.00 0.89 0.00

time (sec)

N/A 0.208 0.146 1.999 0.303 0.246 0.000 0.403 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 49 29 45 57 0 40 0

N.S.

1 1.00 1.36 0.81 1.25 1.58 0.00 1.11 0.00

time (sec)

N/A 0.180 0.092 2.006 0.298 0.247 0.000 0.290 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 43 12 31 44 0 26 0

N.S.

1 1.00 2.39 0.67 1.72 2.44 0.00 1.44 0.00

time (sec)

N/A 0.153 0.075 2.004 0.212 0.254 0.000 0.302 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 49 26 45 79 0 49 0

N.S.

1 1.00 1.36 0.72 1.25 2.19 0.00 1.36 0.00

time (sec)

N/A 0.178 0.126 1.956 0.205 0.249 0.000 0.294 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 52 57 42 58 112 0 57 0

N.S.

1 0.98 1.08 0.79 1.09 2.11 0.00 1.08 0.00

time (sec)

N/A 0.206 0.184 1.942 0.219 0.252 0.000 0.292 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 157 156 113 260 296 258 150 0

N.S.

1 1.05 1.05 0.76 1.74 1.99 1.73 1.01 0.00

time (sec)

N/A 0.337 0.295 2.232 0.214 0.432 0.577 0.313 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 113 109 79 154 190 185 96 0

N.S.

1 1.03 0.99 0.72 1.40 1.73 1.68 0.87 0.00

time (sec)

N/A 0.270 0.191 2.144 0.204 0.444 0.537 0.306 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 91 46 75 118 122 59 77

N.S.

1 1.00 1.65 0.84 1.36 2.15 2.22 1.07 1.40

time (sec)

N/A 0.189 0.278 2.118 0.203 0.488 0.375 0.323 9.372

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 55 23 27 62 75 59 28

N.S.

1 1.00 1.96 0.82 0.96 2.21 2.68 2.11 1.00

time (sec)

N/A 0.158 0.009 2.443 0.208 0.508 0.312 0.308 8.961

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 92 42 0 133 0 58 0

N.S.

1 1.00 1.35 0.62 0.00 1.96 0.00 0.85 0.00

time (sec)

N/A 0.185 0.208 2.507 0.000 0.271 0.000 0.294 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 137 83 0 348 0 0 0

N.S.

1 1.00 1.17 0.71 0.00 2.97 0.00 0.00 0.00

time (sec)

N/A 0.243 0.529 2.201 0.000 0.265 0.000 0.000 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 196 180 140 0 743 0 483 0

N.S.

1 1.09 1.00 0.78 0.00 4.13 0.00 2.68 0.00

time (sec)

N/A 0.365 1.163 2.287 0.000 0.289 0.000 0.333 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 148 142 115 189 362 0 127 0

N.S.

1 1.06 1.02 0.83 1.36 2.60 0.00 0.91 0.00

time (sec)

N/A 0.320 0.607 2.270 0.216 0.317 0.000 0.302 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 103 100 82 110 242 0 88 96

N.S.

1 1.02 0.99 0.81 1.09 2.40 0.00 0.87 0.95

time (sec)

N/A 0.261 0.255 2.180 0.211 0.274 0.000 0.299 9.252

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 30 30 55 44 0 33 31

N.S.

1 1.00 0.91 0.91 1.67 1.33 0.00 1.00 0.94

time (sec)

N/A 0.158 0.137 2.166 0.224 0.251 0.000 0.320 9.248

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 22 21 35 35 0 24 24

N.S.

1 1.00 0.92 0.88 1.46 1.46 0.00 1.00 1.00

time (sec)

N/A 0.148 0.006 2.070 0.203 0.393 0.000 0.296 8.887

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 144 107 0 453 0 160 0

N.S.

1 1.00 1.14 0.85 0.00 3.60 0.00 1.27 0.00

time (sec)

N/A 0.265 0.576 2.215 0.000 0.533 0.000 0.298 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 223 218 187 0 914 0 821 0

N.S.

1 1.08 1.05 0.90 0.00 4.42 0.00 3.97 0.00

time (sec)

N/A 0.417 1.197 2.488 0.000 0.439 0.000 0.603 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 324 289 272 0 1657 0 738 0

N.S.

1 1.09 0.98 0.92 0.00 5.60 0.00 2.49 0.00

time (sec)

N/A 0.544 10.795 2.767 0.000 0.941 0.000 0.337 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 219 195 179 458 525 0 210 0

N.S.

1 1.05 0.94 0.86 2.20 2.52 0.00 1.01 0.00

time (sec)

N/A 0.450 0.741 2.053 0.222 0.270 0.000 0.334 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 105 83 297 147 0 127 129

N.S.

1 1.00 1.21 0.95 3.41 1.69 0.00 1.46 1.48

time (sec)

N/A 0.215 0.371 2.012 0.221 0.263 0.000 0.298 9.356

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 95 94 203 129 0 110 111

N.S.

1 1.00 1.22 1.21 2.60 1.65 0.00 1.41 1.42

time (sec)

N/A 0.200 0.276 1.979 0.212 0.288 0.000 0.324 9.352

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 67 73 130 104 0 86 76

N.S.

1 1.00 0.94 1.03 1.83 1.46 0.00 1.21 1.07

time (sec)

N/A 0.195 0.227 1.906 0.207 0.272 0.000 0.322 9.351

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 48 47 72 72 0 50 43

N.S.

1 1.00 0.89 0.87 1.33 1.33 0.00 0.93 0.80

time (sec)

N/A 0.172 0.148 1.957 0.230 0.270 0.000 0.312 9.288

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 253 253 218 0 1017 0 645 0

N.S.

1 1.10 1.10 0.95 0.00 4.42 0.00 2.80 0.00

time (sec)

N/A 0.436 1.144 2.066 0.000 0.423 0.000 0.307 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 383 379 334 0 1789 0 1457 0

N.S.

1 1.10 1.09 0.96 0.00 5.14 0.00 4.19 0.00

time (sec)

N/A 0.641 2.681 2.105 0.000 0.685 0.000 0.609 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 11 10 15 18 0 18 15

N.S.

1 1.00 0.65 0.59 0.88 1.06 0.00 1.06 0.88

time (sec)

N/A 0.149 0.024 1.990 0.213 0.496 0.000 0.280 8.786

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 50 41 54 143 292 584 52

N.S.

1 1.00 0.74 0.60 0.79 2.10 4.29 8.59 0.76

time (sec)

N/A 0.209 0.071 2.225 0.206 0.544 0.556 0.287 0.073

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 50 41 54 118 245 418 52

N.S.

1 1.00 0.74 0.60 0.79 1.74 3.60 6.15 0.76

time (sec)

N/A 0.207 0.067 1.940 0.207 0.264 0.364 0.284 8.856

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 50 41 54 95 85 275 52

N.S.

1 1.00 0.74 0.60 0.79 1.40 1.25 4.04 0.76

time (sec)

N/A 0.204 0.057 1.905 0.226 0.255 0.621 0.287 0.058

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 50 41 54 71 85 158 52

N.S.

1 1.00 0.74 0.60 0.79 1.04 1.25 2.32 0.76

time (sec)

N/A 0.204 0.054 1.929 0.215 0.259 0.599 0.277 9.016

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 49 41 67 48 87 67 52

N.S.

1 1.00 0.74 0.62 1.02 0.73 1.32 1.02 0.79

time (sec)

N/A 0.203 0.047 1.918 0.210 0.262 0.435 0.294 0.059

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 48 41 61 57 80 69 52

N.S.

1 1.00 0.75 0.64 0.95 0.89 1.25 1.08 0.81

time (sec)

N/A 0.200 0.060 1.899 0.216 0.287 0.936 0.287 0.059

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 50 41 58 69 211 55 52

N.S.

1 1.00 0.78 0.64 0.91 1.08 3.30 0.86 0.81

time (sec)

N/A 0.199 0.064 1.928 0.210 0.253 0.332 0.275 0.052

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 49 42 50 79 314 52 49

N.S.

1 1.00 0.74 0.64 0.76 1.20 4.76 0.79 0.74

time (sec)

N/A 0.201 0.067 1.904 0.217 0.259 0.494 0.283 0.067

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 124 108 139 290 590 1171 138

N.S.

1 1.00 0.84 0.73 0.95 1.97 4.01 7.97 0.94

time (sec)

N/A 0.288 0.120 2.067 0.229 0.482 0.726 0.299 9.035

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 124 108 139 251 204 863 138

N.S.

1 1.00 0.84 0.73 0.95 1.71 1.39 5.87 0.94

time (sec)

N/A 0.278 0.118 2.274 0.223 0.358 0.917 0.282 9.088

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 125 108 139 214 204 591 138

N.S.

1 1.00 0.85 0.73 0.95 1.46 1.39 4.02 0.94

time (sec)

N/A 0.274 0.111 2.229 0.213 0.381 0.796 0.281 0.042

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 124 108 139 175 204 355 138

N.S.

1 1.00 0.84 0.73 0.95 1.19 1.39 2.41 0.94

time (sec)

N/A 0.278 0.103 2.000 0.210 0.384 0.731 0.287 0.047

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 124 108 160 138 202 160 138

N.S.

1 1.00 0.86 0.74 1.10 0.95 1.39 1.10 0.95

time (sec)

N/A 0.264 0.096 2.000 0.216 0.283 0.662 0.281 0.042

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 123 112 147 147 185 189 153

N.S.

1 1.00 0.86 0.78 1.03 1.03 1.29 1.32 1.07

time (sec)

N/A 0.277 0.122 1.951 0.209 0.259 2.139 0.286 9.134

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 123 110 145 159 173 180 145

N.S.

1 1.00 0.86 0.77 1.01 1.11 1.21 1.26 1.01

time (sec)

N/A 0.269 0.119 1.932 0.208 0.270 2.202 0.280 0.078

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 123 108 147 168 787 174 140

N.S.

1 1.00 0.86 0.76 1.03 1.17 5.50 1.22 0.98

time (sec)

N/A 0.271 0.124 1.967 0.218 0.259 0.520 0.289 9.273

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 232 208 271 478 371 1936 239

N.S.

1 1.00 0.94 0.84 1.09 1.93 1.50 7.81 0.96

time (sec)

N/A 0.397 0.203 2.014 0.197 0.301 1.254 0.325 9.287

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 232 208 271 426 371 1450 239

N.S.

1 1.00 0.94 0.84 1.09 1.72 1.50 5.85 0.96

time (sec)

N/A 0.371 0.198 1.996 0.203 0.273 1.107 0.300 9.302

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 231 208 271 373 371 1012 239

N.S.

1 1.00 0.93 0.84 1.09 1.50 1.50 4.08 0.96

time (sec)

N/A 0.379 0.188 2.153 0.202 0.264 1.013 0.300 9.391

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 231 208 271 321 371 622 239

N.S.

1 1.00 0.93 0.84 1.09 1.29 1.50 2.51 0.96

time (sec)

N/A 0.359 0.171 2.323 0.217 0.465 0.891 0.293 9.360

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 244 232 208 288 270 369 288 239

N.S.

1 1.00 0.95 0.85 1.18 1.11 1.51 1.18 0.98

time (sec)

N/A 0.362 0.158 2.023 0.196 0.430 0.822 0.279 0.061

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 242 231 212 279 280 337 373 268

N.S.

1 1.00 0.95 0.88 1.15 1.16 1.39 1.54 1.11

time (sec)

N/A 0.372 0.170 1.975 0.206 0.376 4.812 0.289 0.066

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 244 231 212 277 291 311 360 281

N.S.

1 1.00 0.95 0.87 1.14 1.19 1.27 1.48 1.15

time (sec)

N/A 0.367 0.178 1.975 0.218 0.810 4.824 0.301 0.068

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 232 207 277 302 298 355 278

N.S.

1 1.00 0.97 0.86 1.15 1.26 1.24 1.48 1.16

time (sec)

N/A 0.355 0.176 1.963 0.207 0.273 4.955 0.303 9.344

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 182 138 141 0 822 241 221 2482

N.S.

1 1.16 0.88 0.90 0.00 5.24 1.54 1.41 15.81

time (sec)

N/A 0.528 0.356 2.568 0.000 0.776 2.651 0.290 9.700

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 138 107 114 0 598 197 154 2048

N.S.

1 1.17 0.91 0.97 0.00 5.07 1.67 1.31 17.36

time (sec)

N/A 0.399 0.254 2.037 0.000 0.386 2.522 0.303 0.383

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 105 98 98 0 447 168 106 697

N.S.

1 1.14 1.07 1.07 0.00 4.86 1.83 1.15 7.58

time (sec)

N/A 0.341 0.283 1.960 0.000 0.322 2.394 0.298 0.232

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 85 75 67 0 352 148 75 100

N.S.

1 1.10 0.97 0.87 0.00 4.57 1.92 0.97 1.30

time (sec)

N/A 0.233 0.166 2.045 0.000 0.282 2.289 0.284 0.167

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 85 76 71 0 396 138 67 625

N.S.

1 1.10 0.99 0.92 0.00 5.14 1.79 0.87 8.12

time (sec)

N/A 0.210 0.192 2.215 0.000 0.293 2.893 0.285 9.276

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 133 102 97 0 726 170 105 2258

N.S.

1 1.30 1.00 0.95 0.00 7.12 1.67 1.03 22.14

time (sec)

N/A 0.382 0.429 1.929 0.000 0.515 2.633 0.271 9.536

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 188 128 134 0 1469 211 167 4509

N.S.

1 1.36 0.93 0.97 0.00 10.64 1.53 1.21 32.67

time (sec)

N/A 0.479 0.854 2.143 0.000 0.589 2.551 0.279 10.208

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 252 182 177 0 2577 262 282 4068

N.S.

1 1.35 0.97 0.95 0.00 13.78 1.40 1.51 21.75

time (sec)

N/A 0.552 0.949 2.173 0.000 1.389 2.860 0.299 11.220

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 278 203 217 0 1561 0 425 3360

N.S.

1 1.11 0.81 0.86 0.00 6.22 0.00 1.69 13.39

time (sec)

N/A 0.721 0.868 2.053 0.000 1.923 0.000 0.294 10.047

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 225 167 188 0 1273 0 332 2913

N.S.

1 1.12 0.84 0.94 0.00 6.36 0.00 1.66 14.56

time (sec)

N/A 0.573 0.977 2.171 0.000 0.649 0.000 0.298 9.785

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 179 143 154 0 1002 0 260 1127

N.S.

1 1.13 0.90 0.97 0.00 6.30 0.00 1.64 7.09

time (sec)

N/A 0.450 0.849 2.050 0.000 0.335 0.000 0.285 9.425

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 147 139 144 0 770 0 197 429

N.S.

1 1.10 1.04 1.07 0.00 5.75 0.00 1.47 3.20

time (sec)

N/A 0.357 1.037 1.992 0.000 0.314 0.000 0.298 9.307

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 138 119 133 0 798 0 166 1174

N.S.

1 1.10 0.95 1.06 0.00 6.38 0.00 1.33 9.39

time (sec)

N/A 0.361 0.853 1.987 0.000 0.303 0.000 0.300 9.431

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 189 149 160 0 1164 0 236 3784

N.S.

1 1.23 0.97 1.04 0.00 7.56 0.00 1.53 24.57

time (sec)

N/A 0.421 1.040 2.268 0.000 0.369 0.000 0.286 10.198

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 260 202 174 0 2312 0 338 4234

N.S.

1 1.26 0.98 0.84 0.00 11.22 0.00 1.64 20.55

time (sec)

N/A 0.549 1.536 2.119 0.000 0.651 0.000 0.284 11.634

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 333 272 204 0 3872 0 470 5736

N.S.

1 1.25 1.02 0.76 0.00 14.50 0.00 1.76 21.48

time (sec)

N/A 0.712 1.741 2.113 0.000 1.637 0.000 0.304 12.485

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

349 427 363 250 0 5752 0 636 7254

N.S.

1 1.22 1.04 0.72 0.00 16.48 0.00 1.82 20.79

time (sec)

N/A 0.892 2.341 2.444 0.000 4.239 0.000 0.312 13.599

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 323 275 273 0 2373 0 617 3946

N.S.

1 1.08 0.92 0.91 0.00 7.91 0.00 2.06 13.15

time (sec)

N/A 0.724 1.637 2.186 0.000 1.178 0.000 0.313 11.003

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 266 250 273 0 2027 0 537 1792

N.S.

1 1.07 1.01 1.10 0.00 8.17 0.00 2.17 7.23

time (sec)

N/A 0.577 1.953 2.147 0.000 0.559 0.000 0.315 10.259

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 246 222 259 0 1661 0 432 910

N.S.

1 1.06 0.96 1.12 0.00 7.16 0.00 1.86 3.92

time (sec)

N/A 0.506 1.320 2.158 0.000 0.361 0.000 0.303 10.237

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 260 197 209 0 1673 0 375 1880

N.S.

1 1.06 0.80 0.85 0.00 6.80 0.00 1.52 7.64

time (sec)

N/A 0.567 1.420 2.047 0.000 0.368 0.000 0.297 10.385

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 281 247 241 0 2265 0 489 4815

N.S.

1 1.15 1.01 0.98 0.00 9.24 0.00 2.00 19.65

time (sec)

N/A 0.521 2.010 2.093 0.000 0.490 0.000 0.323 11.676

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 352 292 281 0 2829 0 602 6715

N.S.

1 1.18 0.98 0.94 0.00 9.46 0.00 2.01 22.46

time (sec)

N/A 0.693 2.768 2.445 0.000 1.008 0.000 0.294 12.529

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

370 436 408 279 0 4789 0 773 9635

N.S.

1 1.18 1.10 0.75 0.00 12.94 0.00 2.09 26.04

time (sec)

N/A 0.847 2.153 2.391 0.000 3.083 0.000 0.302 13.961

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

470 548 501 313 0 6969 0 932 11876

N.S.

1 1.17 1.07 0.67 0.00 14.83 0.00 1.98 25.27

time (sec)

N/A 1.127 2.846 2.704 0.000 8.506 0.000 0.369 14.869

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 377 372 664 0 466 0 0 0

N.S.

1 1.04 1.03 1.83 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.572 17.915 1.899 0.000 0.128 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 317 294 444 0 397 0 0 0

N.S.

1 1.03 0.95 1.44 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.499 14.649 1.899 0.000 0.124 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 250 226 380 0 351 0 0 0

N.S.

1 1.02 0.92 1.54 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.377 11.007 1.877 0.000 0.124 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 236 195 353 0 357 0 0 0

N.S.

1 1.02 0.84 1.53 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.365 10.232 1.910 0.000 0.124 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 313 265 498 0 557 0 0 0

N.S.

1 1.04 0.88 1.65 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.459 7.295 1.915 0.000 0.092 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

398 412 362 641 0 868 0 0 0

N.S.

1 1.04 0.91 1.61 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 0.621 7.537 1.910 0.000 0.101 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

521 547 559 1359 0 637 0 0 0

N.S.

1 1.05 1.07 2.61 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.846 24.109 2.100 0.000 0.132 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

457 477 463 942 0 546 0 0 0

N.S.

1 1.04 1.01 2.06 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.719 19.438 2.218 0.000 0.138 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

360 375 380 650 0 465 0 0 0

N.S.

1 1.04 1.06 1.81 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.555 19.889 1.882 0.000 0.120 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 319 306 663 0 516 0 0 0

N.S.

1 1.03 0.99 2.15 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.504 21.931 1.932 0.000 0.212 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 307 279 581 0 531 0 0 0

N.S.

1 1.03 0.94 1.95 0.00 1.78 0.00 0.00 0.00

time (sec)

N/A 0.482 20.295 1.931 0.000 0.250 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

354 376 369 646 0 807 0 0 0

N.S.

1 1.06 1.04 1.82 0.00 2.28 0.00 0.00 0.00

time (sec)

N/A 0.552 12.101 1.940 0.000 0.153 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

476 496 479 792 0 1230 0 0 0

N.S.

1 1.04 1.01 1.66 0.00 2.58 0.00 0.00 0.00

time (sec)

N/A 0.737 13.618 2.658 0.000 0.130 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

666 697 663 1728 0 747 0 0 0

N.S.

1 1.05 1.00 2.59 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 1.029 22.233 1.963 0.000 0.226 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

537 563 557 1441 0 640 0 0 0

N.S.

1 1.05 1.04 2.68 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.852 22.338 1.947 0.000 0.272 0.000 0.000 0.000